Some thoughts on hypercomputation q
نویسنده
چکیده
We first show that the Halting Function (the noncomputable function that solves the Halting Problem) has explicit expressions in the language of calculus. Out of that fact we elaborate on the possible meaning of hypercomputation theory within the setting of formal mathematical theories. 2005 Elsevier Inc. All rights reserved.
منابع مشابه
Some Thoughts on Hypercomputation
Hypercomputation is a relatively new branch of computer science that emerged from the idea that the Church–Turing Thesis, which is supposed to describe what is computable and what is noncomputable, cannot possible be true. Because of its apparent validity, the Church–Turing Thesis has been used to investigate the possible limits of intelligence of any imaginable life form, and, consequently, th...
متن کاملThe case for hypercomputation
The weight of evidence supporting the case for hypercomputation is compelling. We examine some 20 physical and mathematical models of computation that are either known or suspected to have super-Turing or hypercomputational capabilities, and argue that there is nothing in principle to prevent the physical implementation of hypercomputational systems. Hypercomputation may indeed be intrinsic to ...
متن کاملA Hypercomputation in Brouwer's Constructivism
In contrast to other constructivist schools, for Brouwer, the notion of “constructive object” is not restricted to be presented as ‘words’ in some finite alphabet of symbols, and choice sequences which are non-predetermined and unfinished objects are legitimate constructive objects. In this way, Brouwer’s constructivism goes beyond Turing computability. Further, in 1999, the term hypercomputati...
متن کاملHypercomputation: Towards an extension of the classical notion of Computability?
The purpose of this thesis is to make an analysis of the concept of Hypercomputation and of some hypermachines. This thesis is separated in three main parts. We start in the first chapter with an analysis of the concept of Classical Computability with the Turing Machine and the Church-Turing thesis as a main reference and afterwards, in the second chapter, we continue with an analysis of hyperc...
متن کاملHypercomputation: computing more than the Turing machine
In this report I provide an introduction to the burgeoning field of hypercomputation – the study of machines that can compute more than Turing machines. I take an extensive survey of many of the key concepts in the field, tying together the disparate ideas and presenting them in a structure which allows comparisons of the many approaches and results. To this I add several new results and draw o...
متن کامل